﻿/*
 * timer.h
 *
 * Created: 28.02.2013 23:03:46
 *  Author: Øyvind
 */ 


#ifndef TIMER_H_
#define TIMER_H_

void timer_init();



#endif /* TIMER_H_ */